\begin{tabbing}
$\forall$\=${\it es}$:ES\{i\}, $A$:Type\{i\}, $l$:IdLnk, ${\it tg}$:Id, ${\it ds}$:$x$:Id fp$\rightarrow$ Type\{i\},\+
\\[0ex]${\it conds}$:$k$:Knd fp$\rightarrow$ $V$:Type\{i\} $\times$ (State(${\it ds}$)$\rightarrow$$V$$\rightarrow$($A$ + Top)).
\-\\[0ex]triggers{-}glued{-}p(${\it es}$; $A$; $l$; ${\it tg}$; ${\it ds}$; ${\it conds}$) $\in$ $\mathbb{P}$\{i'\}
\end{tabbing}